.CodeMirror {
	height: 100%;
}

.annotations-gutter {
	width: 12px;
	background: #f0f0f0;
}

.xtext-annotation_error {
	width: 12px;
	height: 12px;
	background-image: url('images/error_an.gif');
	background-repeat: no-repeat;
}

.xtext-annotation_warning {
	width: 12px;
	height: 12px;
	background-image: url('images/warning_an.gif');
	background-repeat: no-repeat;
}

.xtext-annotation_info {
	width: 12px;
	height: 12px;
	background-image: url('images/info_an.gif');
	background-repeat: no-repeat;
}

.xtext-marker_error {
	z-index: 30;
	background-image: url("");
	background-repeat: repeat-x;
	background-position: left bottom;
}

.xtext-marker_warning {
	z-index: 20;
	background-image: url("");
	background-repeat: repeat-x;
	background-position: left bottom;
}

.xtext-marker_info {
	z-index: 10;
	background-image: url("");
	background-repeat: repeat-x;
	background-position: left bottom;
}

.xtext-marker_read {
	background-color: #ddd;
}

.xtext-marker_write {
	background-color: yellow;
}
